منابع مشابه
IThe theory of optimal reductions
We introduce a new class of higher order rewriting systems, called Interaction Systems (IS's). IS's come from Lafont's (Intuitionistic) Interaction Nets Lafont 1990] by dropping the linearity constraint. In particular, we borrow from Interaction Nets the syntactical bipartitions of operators into constructors and destructors and the principle of binary interaction. As a consequence, IS's are a ...
متن کاملIThe Visual Display of ~ Parallel Performance ~ Data
( performance models. T he primary motivation for using parallel computer systems is their high performance potential, but that potential is notoriously difficult to realize, and users often must analyze and tune parallel program performance. Parallel systems can be instrumented to provide ample feedback on program behavior, but because of the volume and complexity of the resulting performance ...
متن کاملIThe Development of Traffic Engineering in Australia
M cars first appeared on Australian roads in about 1900, and road laws, as they are known today, began to evolve soon after. For several years traffic control in Australia was largely a police responsibility, but by the mid to late 1930sthe principles of traffic engineering, including the need to consider the road, the vehicle, the driver, and the traffic rules as an integrated system, were bei...
متن کاملOn Ridges and Valleys
Ridges and valleys are earth’s relief structures. They can have an imaging counterpart provided we model a digital image as a landscape by considering grey level values as height. These two dual entities have received comparatively little attention from the computer vision community with regard to others like edges or corners. In this paper we first propose a taxonomy or classification of the s...
متن کاملThe Kishon affair: science, law, and the politics of causation.
This article describes how science and law were called upon (and failed) to resolve a controversy that created a painful rift between the Israeli State and some of its elite soldiers. The controversy, which came to be known as "the Kishon affair," erupted in 2000, when veterans of an elite and secretive unit in the Israeli navy claimed that pollution in the Kishon River where they had trained a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Geological Magazine
سال: 1904
ISSN: 0016-7568,1469-5081
DOI: 10.1017/s0016756800124355